Notations for partitions
نویسندگان
چکیده
منابع مشابه
notations for partitions 143
11. A. J. Kempner, "Geometry as an avocation," Amer. Math. Mon., v. 40, 1933, p. 455-471. 12. Byron O. Marshall, jr., "The electronic isograph for roots of polynomials," J. Appl. Phys., v. 21, 1950, p. 307-312. 13. J. H. Robertson, "A simple machine capable of Fourier synthesis calculation," /. Sei. Instr., v. 27, 1950, p. 276-278. 14. A. Russell & J. N. Alty, "An electromagnetic method of stud...
متن کاملBCS Heterogeneous Notations for
We describe an approach for deening and making use of compositions of partial speciications written in diierent formal languages. The technique provides a rst step towards integrating formal methods that use the notations. We discuss the integration process and consider how reenement can occur in such a setting. We present several examples of formal heterogeneous speciications, and two examples...
متن کاملNotations for exponentiation
We define a coding of natural numbers – which we will call exponential notations – and interpretations of the less-than-relation, the successor, addition and exponentiation function on exponential notations. We prove that all these interpretations are polynomial time computable. As a corollary we obtain that feasible arithmetic can prove the consistency of the canonical equational theory for th...
متن کاملCustomizable Notations for Software Design
ISF is a visual formalism for creating custom notations for high-level software design. In this paper we describe the formal semantics of ISF in Datalog. The semantics provides useful insight on how deduc-tive database technology can be used to generate tools to support our custom notations.
متن کاملNotations for Living Mathematical Documents
Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize the choice of notations with respect to these two criteria, while at the same time trying to remain consistent over the document and their own prior publications. In print media where nota...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1955
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-1955-0074954-0